$\forall$${\it es}$:ES, ${\it ff}$:FIFO. ${\it ff}$.C $\in$ Type